An Application of the Formal Method to Statistics

نویسندگان

  • Hidetsune Kobayashi
  • Yoko Ono
چکیده

We applied a formal method to a theory on statistics, and described some problems of formalization with proposals for resolving them. We show that the proof of formal method makes clear the logical structure of the proof.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

an Application of the Logit Model to the Analysis of Informal Sector Activities

This paper reports on the results of a research carried out during 1993-94 aiming at studying street sellers as an informal sector activity and a source of socio-economic problems in Shiraz, Iran. This study makes use of two Logit models in order to present a unified framework depiciting the factors that seem to affect the developmeht of informal sector activities. The first model looks at thos...

متن کامل

How does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Writing Skills?

Discourse markers improve both the quality and comprehension of a written text. This study aimed at investigating the effect of explicit and implicit instruction of formal meta-discourse markers on writ- ing skills. The quantitative data were collected from 90 upper-intermediate students at Shiraz Univer- sity Language Center. Two experimental groups went through an instruction, while the contr...

متن کامل

Design and Psychometrics of a Questionnaire for Assessing the Performance of Faculty Members in Providing Virtual Education during the Covid-19 Pandemic

Background and Purpose: Given the Covid-19 and immediate investment in providing virtual university education, it is important to measure the performance of faculty members in this area. Accordingly, this study was conducted to design and psychometrics of a questionnaire to assess the performance of faculty members in providing virtual training. Material and Methods: A descriptive study of ins...

متن کامل

Efficiency of Formal Microfinance in Indonesia: Using Data Envelopment Analysis Application

One of the key success factors of the financial institution sustainability is operational efficiencies. Using Data Envelopment Analysis (DEA), this paper measures the relative efficiency of the executing banking units of  people business credit (KUR) program in Indonesia. Sample data of this study were obtained from all banking units from banks providing KUR located in the district of Pati, Cen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011